161. Initiationmathematique aux grammaires formelles
المؤلف: Huges
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Formal languages,Machine theory
رده :
QA
267
.
3
.
H8
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
162. Introduction to autmata theory languages and computation
المؤلف: Hopcroft, John E.
المکتبة: (سمنان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H66
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
163. Introduction to automata theory, Languages and computation
المؤلف: Hopcroft, John E.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity
رده :
QA
267
.
H56
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
164. Introduction to automata theory,language,& computation
المؤلف: HOPCROFT,JOHN E
المکتبة: (طهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGES , COMPUTATIONAL COMPLEXIT
رده :
QA
267
.
H56
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
165. Introduction to automata theory, languages, and computation
المؤلف: Hopcroft, John E.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
166. Introduction to automata theory, languages, and computation /
المؤلف: John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
H56
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
167. Introduction to automata theory: languages, and computation
المؤلف: / John E. Hopcroft, Jeffrey D. Ullman
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Machine theory,Formal languages,Computational complexity
رده :
511
.
3
H791I
1979
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
168. Introduction to automata theory, languages, and computation
المؤلف: Hopcroft, John E.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
169. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E
موضوع : ، Machine theory,، Formal languages,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
170. Introduction to automata theory, languages, and computation
المؤلف: / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
171. Introduction to automata theory, languages, and computation
المؤلف: / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
172. Introduction to automata theory, languages , and computation
المؤلف: / E.John,Hopcroft...
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory,formal languages,computational complexity
رده :
QA267
.
H56
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
173. Introduction to automata theory, languages, and computation
المؤلف: Hopcroft, John E., 9391-
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
174. Introduction to automata theory, languages, and computation ]electronic resource[
المؤلف: Hopcroft, John E.
المکتبة: (طهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
EBL
197
![](/design/images/bookmore.png)
175. Introduction to languages, machines and logic
المؤلف: / Alan P. Parkes
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Formal languages,Machine theory
رده :
QA267
.
3
.
P37
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
176. Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
المؤلف: Parkes, Alan
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P37
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
177. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
178. Language and Automata Theory and Applications
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگرهها,زبانهای صوری -- کنگرهها,زبانشناسی ریاضی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
179. Language and Automata Theory and Applications :
المؤلف: Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
180. Language and automata theory and applications
المؤلف: \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبانشناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)